Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
301	Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs Xiaoping Chen1 , Jianmin Ji1 , and Fangzhen Lin2 1 School of Computer Science and Technology, Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2009-10-30 01:45:08 Mathematics Propositional calculus Boolean algebra Stable model semantics Predicate logic Answer set programming Clause Modal logic Algorithm Logic Mathematical logic Logic programming
302	New Rules for Domain Independent Lifted MAP Inference Happy Mittal, Prasoon Goyal Dept. of Comp. Sci. & Engg. I.I.T. Delhi, Hauz Khas New Delhi, 110016, India Add to Reading List Source URL: www.hlt.utdallas.edu Language: English - Date: 2014-10-31 21:58:08 Model theory Predicate logic Propositional calculus Theoretical computer science First-order logic Markov logic network Interpretation Function Atomic formula Logic Mathematical logic Mathematics
303	An Integer Polynomial Programming Based Framework for Lifted MAP Inference Somdeb Sarkhel, Deepak Venugopal Computer Science Department The University of Texas at Dallas {sxs104721,dxv021000}@utdallas.edu Add to Reading List Source URL: www.hlt.utdallas.edu Language: English - Date: 2014-10-31 21:57:33 Applied mathematics Artificial intelligence Predicate logic Mathematical logic Graphical models Markov logic network First-order logic Algorithm Atomic formula Mathematics Theoretical computer science Logic
304	Bug Isolation via Remote Program Sampling Ben Liblit † Alex Aiken † <> Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2003-04-12 19:08:27 Profiling Software optimization Sampling Software bug Null Predicate Sample Pin Logic Mathematical logic Computer programming
305	h hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh Chapter 8 ❖ Add to Reading List Source URL: www.nondot.org Language: English - Date: 2001-03-26 23:04:10 Prolog Logic programming Predicate logic Predicate Unification Function Datalog B-Prolog Software engineering Mathematical logic Logic
306	A Formalization of Programs in First-Order Logic with a Discrete Linear Order∗ Fangzhen Lin () Department of Computer Science The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, H Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2014-03-07 00:56:20 Logic in computer science Functions and mappings Formal methods Function First-order logic Predicate transformer semantics FO Quasigroup Dynamic logic Mathematics Mathematical logic Logic
307	From Answer Set Logic Programming to Circumscription via Logic of GK Fangzhen Lin and Yi Zhou Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2006-10-13 03:43:14 Mathematics Non-classical logic Model theory Predicate logic Modal logic Stable model semantics First-order logic Interpretation Autoepistemic logic Logic Mathematical logic Logic programming
308	At least et al. The semantics of scalar modifiers Bart Geurts Nijmegen Rick Nouwen Add to Reading List Source URL: ncs.ruhosting.nl Language: English - Date: 2008-10-08 07:36:55 Mathematical logic Quantification Predicate logic Semantics Combinatory logic Superlative Comparative Comparison Polarity item Logic Grammar Linguistics
309	Sound, Complete and Scalable Path-Sensitive Analysis ∗ Isil Dillig Thomas Dillig Alex Aiken Computer Science Department Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2008-04-24 14:23:16 Model theory Functions and mappings First-order logic Predicate logic Interpretation Function Normal distribution Mathematical logic Logic Mathematics
310	Proof of Beal’s Conjecture (In Logic Symbols) By: Don Blazys and Brett Blazys (research assistant) Abstract: This is essentially the same proof that can be found on my website http://donblazys.com/ and on the “Unsolv Add to Reading List Source URL: donblazys.com Language: English - Date: 2013-04-30 16:41:51 Predicate logic Proof theory Logical syntax Model theory First-order logic Mathematical proof Formal proof Calculus Logic Mathematics Mathematical logic

UPDATE